Results for 'C. C. M. de Lange'

1000+ found
Order:
  1.  41
    Boekbesprekingen.Sean McEvenue, Theo de Kruijf, C. C. M. de Lange, Bart J. Koet, Marcel Poorthuis, Hanneke Reuling, Martin Parmentier, Jörgen Vijgen, Th Bell, Marcel Sarot, Kees van Vliet, A. H. C. van Eijk, Eric Ottenheijm, Jean-Jacques Suurmond & Arie L. Molendijk - 2000 - Bijdragen 61 (3):336-357.
    No categories
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  2. 5* congres international g43 7-14 septembre d'acoustique 1965 the new rotterdam concert hall.C. W. Kosten & P. A. de Lange - 1965 - In Karl W. Linsenmann (ed.), Proceedings. St. Louis, Lutheran Academy for Scholarship.
    No categories
     
    Export citation  
     
    Bookmark  
  3.  59
    Crossing the Gap: Older Adults Do Not Create Less Challenging Stepping Stone Configurations Than Young Adults.Amy M. Jeschke, Annemieke M. M. de Lange, Rob Withagen & Simone R. Caljouw - 2020 - Frontiers in Psychology 11.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  4.  8
    Gedanken von der Freyheit, über Gegenstände des Glaubens zu philosophieren.C. M. Wieland - 1789 - De Gruyter.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  5.  16
    A Gentzen- or Beth-Type System, a Practical Decision Procedure and a Constructive Completeness Proof for the Counterfactual Logics VC and VCS.H. C. M. De Swart - 1983 - Journal of Symbolic Logic 48 (1):1 - 20.
  6.  18
    An Intuitionistically Plausible Interpretation of Intuitionistic Logic.H. C. M. De Swart - 1977 - Journal of Symbolic Logic 42 (4):564 - 578.
  7.  58
    Quality of care: the need for medical, contextual and policy evidence in primary care.Mieke L. van Driel, An I. De Sutter, Thierry C. M. Christiaens & Jan M. De Maeseneer - 2005 - Journal of Evaluation in Clinical Practice 11 (5):417-429.
  8. Analogical transfer through comprehension and priming.C. M. Wharton & T. E. Lange - 1994 - In Ashwin Ram & Kurt Eiselt (eds.), Proceedings of the Sixteenth Annual Conference of the Cognitive Science Society. Erlbaum. pp. 934--939.
  9.  20
    Muscle co-activity tuning in Parkinsonian hand movement: disease-specific changes at behavioral and cerebral level.A. M. M. van der Stouwe, C. M. Toxopeus, B. M. de Jong, P. Yavuz, G. Valsan, B. A. Conway, K. L. Leenders & N. M. Maurits - 2015 - Frontiers in Human Neuroscience 9.
  10.  58
    Bridge Over an Aging Population: Examining Longitudinal Relations Among Human Resource Management, Social Support, and Employee Outcomes Among Bridge Workers.Klaske N. Veth, Beatrice I. J. M. Van der Heijden, Hubert P. L. M. Korzilius, Annet H. De Lange & Ben J. M. Emans - 2018 - Frontiers in Psychology 9.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  11.  33
    Boekbesprekingen. [REVIEW]T. Wever, Frank De Graeve, Th C. de Kruijf, J. M. Tison, L. Wolters, B. Dehandschutter, J. Rupert, P. Smulders, R. G. W. Huysmans, K. Boey, Jos Vercruysse, F. J. Theunis, Van Woerkom, Peter Staples, P. Fransen, D. Scheltens, L. M. de Rijk, H. van Leeuwen, A. J. Leijen, J. C. M. Engelen, W. G. Tillmans, C. Donders, H. P. M. Goddijn & E. De Strycker - 1973 - Bijdragen 34 (4):434-462.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  12. Understanding the Contribution of HRM Bundles for Employee Outcomes Across the Life-Span.Klaske N. Veth, Hubert P. L. M. Korzilius, Beatrice I. J. M. Van der Heijden, Ben J. M. Emans & Annet H. De Lange - 2019 - Frontiers in Psychology 10:475130.
    Using the Job Demands-Resources model literature and the life-span theory as scholarly frameworks, we examined the effects of job demands and job resources as mediators in the relationship between bundles of used HRM practices and employee outcomes. In addition, we tested for age differences in our research model. Findings confirmed the hypothesized original 2-factor structure representing maintenance and development HRM practices. Structural Equation Modeling analyses showed that the maintenance HRM bundle related directly and negatively to employee outcomes, without moderating effects (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  13.  10
    Dealing with bioethical dilemmas: A survey and analysis of responses from ministers in the Reformed Churches in South Africa.Magdalena C. De Lange - 2012 - HTS Theological Studies 68 (1).
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  14.  6
    Geskiedenis van die prediking in Suid-Afrika.J. C. De Lange - 1967 - HTS Theological Studies 23 (3).
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  15. Grupos sanguíneos (sistema ABO) de los indios y mestizos de los alrededores de Quito.R. Ramos de Andrade, C. Lascano & M. Zarate - 1959 - Humanitas 1:2.
    No categories
     
    Export citation  
     
    Bookmark  
  16.  38
    Field-testing the Euro-MCD Instrument: Experienced outcomes of moral case deliberation.Janine C. de Snoo-Trimp, Bert Molewijk, Gøril Ursin, Berit Støre Brinchmann, Guy A. M. Widdershoven, Henrica C. W. de Vet & Mia Svantesson - forthcoming - Nursing Ethics:096973301984945.
    Direct download  
     
    Export citation  
     
    Bookmark   14 citations  
  17.  33
    Immediate and long-term priming effects are independent of prime awareness.Jolien C. Francken, Simon van Gaal & Floris P. de Lange - 2011 - Consciousness and Cognition 20 (4):1793-1800.
    Subliminal primes are assumed to produce weaker and short-lived effects on subsequent behavior compared to clearly visible primes. However, this difference in priming effect may be due to differences in signal strength, rather than level of awareness. In the present study we manipulated prime discriminability by using metacontrast masks and pseudomasks, while keeping the prime strength equal. This manipulation resulted in large differences in discriminability of the primes. However, both immediate response priming and long-term response priming was equal for the (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  18. The influence of colour on subitation.M. J. H. Puts & C. M. M. de Weert - 1996 - In Enrique Villanueva (ed.), Perception. Ridgeview. pp. 103-103.
     
    Export citation  
     
    Bookmark  
  19.  39
    A Modern Perspective on Type Theory From its Origins until Today. [REVIEW]H. C. M. De Swart - 2006 - Journal of Logic, Language and Information 15 (3):297-302.
  20.  47
    The concept of brain death did not evolve to benefit organ transplants.C. Machado, J. Kerein, Y. Ferrer, L. Portela, M. de la C. Garcia & J. M. Manero - 2007 - Journal of Medical Ethics 33 (4):197-200.
    Although it is commonly believed that the concept of brain death was developed to benefit organ transplants, it evolved independently. Transplantation owed its development to advances in surgery and immunosuppressive treatment; BD owed its origin to the development of intensive care. The first autotransplant was achieved in the early 1900s, when studies of increased intracranial pressure causing respiratory arrest with preserved heartbeat were reported. Between 1902 and 1950, the BD concept was supported by the discovery of EEG, Crile’s definition of (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  21.  19
    Field-Testing the Euro-MCD Instrument: Important Outcomes According to Participants Before and After Moral Case Deliberation.J. C. de Snoo-Trimp, A. C. Molewijk, M. Svantesson, G. A. M. Widdershoven & H. C. W. de Vet - 2020 - HEC Forum 34 (1):1-24.
    Ethics support services like Moral Case Deliberation intend to support healthcare professionals in ethically difficult situations. To assess outcomes of MCD, the Euro-MCD Instrument has been developed. Field studies to test this instrument are needed and have been conducted, examining important outcomes before MCD participation and experienced outcomes. The current study aimed to describe how participants’ perceive the importance of MCD outcomes after MCD; compare these perceptions with those before MCD participation; and test the factor structure of these outcomes. Swedish, (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  22.  13
    Discussion on clusters, phasons and quasicrystal stabilisation.C. L. Henley, M. de Boissieu & W. Steurer - 2006 - Philosophical Magazine 86 (6-8):1131-1151.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  23.  85
    Becoming none but tradesmen: lies, deception and psychotic patients.C. J. Ryan, G. de Moore & M. Patfield - 1995 - Journal of Medical Ethics 21 (2):72-76.
    Is there ever any reason for a doctor to lie to a patient? In this paper, we critically review the literature on lying to patients and challenge the common notion that while lying is unacceptable, a related entity--'benevolent deception' is defensible. Further, we outline a rare circumstance when treating psychotic patients where lying to the patient is justified. This circumstance is illustrated by a clinical vignette.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  24.  4
    Are the PHQ-9 and GAD-7 Suitable for Use in India? A Psychometric Analysis.Jeroen De Man, Pilvikki Absetz, Thirunavukkarasu Sathish, Allissa Desloge, Tilahun Haregu, Brian Oldenburg, Leslie C. M. Johnson, Kavumpurathu Raman Thankappan & Emily D. Williams - 2021 - Frontiers in Psychology 12.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  25.  29
    A Gentzen- or Beth-type system, a practical decision procedure and a constructive completeness proof for the counterfactual logics VC and VCS.H. C. M. de Swart - 1983 - Journal of Symbolic Logic 48 (1):1-20.
  26.  27
    De Novis Libris Iudicia.C. J. Ruijgh, G. Schreiner, C. M. J. Sicking, H. Vos, W. J. Verdenius, D. Van Nes, J. C. Kamerbeek, J. T. H. M. F. Pieters, A. H. R. E. Paap, H. Bolkenstein, G. J. M. Bartelink, R. E. H. Westendorp Boerma, G. J. De Vries, H. T. Wallinga, A. D. Leeman, H. H. Janssen, H. W. Pleket, J. A. G. Van Der Veer, J. H. Thiel, A. B. Breebaart, E. J. Jonkers, R. Feenstra & E. Hulshoff Pol - 1964 - Mnemosyne 17 (2):165-220.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  27.  29
    Response to Desender & Van den Bussche: On the absence of a relationship between discriminability and priming.Jolien C. Francken, Simon van Gaal & Floris P. de Lange - 2012 - Consciousness and Cognition 21 (3):1573-1574.
  28.  6
    The Acute Effects of Standing on Executive Functioning in Vocational Education and Training Students: The Phit2Learn Study.Petra J. Luteijn, Inge S. M. van der Wurff, Amika S. Singh, Hans H. C. M. Savelberg & Renate H. M. de Groot - 2022 - Frontiers in Psychology 13.
    Research suggests that sedentary behavior is negatively associated with cognitive outcomes. Interrupting prolonged sitting has been shown to improve cognitive functions, including executive functioning, which is important for academic performance. No research has been conducted on the effect of standing on EF in VET students, who make up a large proportion of the adolescent population and who are known to sit more than other students of this age. In this study, we investigated the acute effects of reducing SB by short (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  29.  53
    An intuitionistically plausible interpretation of intuitionistic logic.H. C. M. de Swart - 1977 - Journal of Symbolic Logic 42 (4):564-578.
  30.  71
    Attitudes of Dutch Pig Farmers Towards Tail Biting and Tail Docking.M. B. M. Bracke, Carolien C. De Lauwere, Samantha Mm Wind & Johan J. Zonerland - 2013 - Journal of Agricultural and Environmental Ethics 26 (4):847-868.
    The Dutch policy objective of a fully sustainable livestock sector without mutilations by 2023 is not compatible with the routine practice of tail docking to minimize the risk of tail biting. To examine farmer attitudes towards docking, a telephone survey was conducted among 487 conventional and 33 organic Dutch pig farmers. “Biting” (of tails, ears, or limbs) was identified by the farmers as a main welfare problem in pig farming. About half of the farmers reported to have no tail biting (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  31.  27
    Spreads or choice sequences?H. C. M. De Swart - 1992 - History and Philosophy of Logic 13 (2):203-213.
    Intuitionistically. a set has to be given by a finite construction or by a construction-project generating the elements of the set in the course of time. Quantification is only meaningful if the range of each quantifier is a well-circumscribed set. Thinking upon the meaning of quantification, one is led to insights?in particular, the so-called continuity principles?which are surprising from a classical point of view. We believe that such considerations lie at the basis of Brouwer?s reconstruction of mathematics. The predicate ?α (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  32.  67
    How and Why Do Students Use Learning Strategies? A Mixed Methods Study on Learning Strategies and Desirable Difficulties With Effective Strategy Users.Sanne F. E. Rovers, Renée E. Stalmeijer, Jeroen J. G. van Merriënboer, Hans H. C. M. Savelberg & Anique B. H. de Bruin - 2018 - Frontiers in Psychology 9.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  33.  27
    Boekbesprekingen.Wim Weren, P. C. Beentjes, Bart-J. Koet, J. -J. Suurmond, Jan Lambrecht, A. L. H. M. van Wieringen, F. De Meyer, L. Dequeker, M. Poorthuis, B. Dehandschutter, Martin Parmentier, G. Rouwhorst, W. Parmentier, M. Parmentier, Marc Schneiders, A. H. C. van Eijk, Ulrich Hemel, Michel Coune, R. G. W. Huysmans, Michael Kuhn, Marc Steen, M. Kuhn, J. Verhaeghe, H. J. Adriaanse, Ger Groot, H. Bleijendaal, G. Verwey, A. van de Pavert, J. W. Hacking & Marie-José van Bolhuis - 1987 - Bijdragen 48 (1):75-110.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  34.  65
    Review of particle physics. [REVIEW]C. Patrignani, K. Agashe, G. Aielli, C. Amsler, M. Antonelli, D. M. Asner, H. Baer, S. Banerjee, R. M. Barnett, T. Basaglia, C. W. Bauer, J. J. Beatty, V. I. Belousov, J. Beringer, S. Bethke, H. Bichsel, O. Biebel, E. Blucher, G. Brooijmans, O. Buchmueller, V. Burkert, M. A. Bychkov, R. N. Cahn, M. Carena, A. Ceccucci, A. Cerri, D. Chakraborty, M. C. Chen, R. S. Chivukula, K. Copic, G. Cowan, O. Dahl, G. D'Ambrosio, T. Damour, D. De Florian, A. De Gouvêa, T. DeGrand, P. De Jong, G. Dissertori, B. A. Dobrescu, M. D'Onofrio, M. Doser, M. Drees, H. K. Dreiner, P. da DwyerEerola, S. Eidelman, J. Ellis, J. Erler, V. V. Ezhela, W. Fetscher, B. D. Fields, B. Foster, A. Freitas, H. Gallagher, L. Garren, H. J. Gerber, G. Gerbier, T. Gershon, T. Gherghetta, A. A. Godizov, M. Goodman, C. Grab, A. V. Gritsan, C. Grojean, M. de GroomGrünewald, A. Gurtu, T. Gutsche, H. E. Haber, K. Hagiwara, C. Hanhart, S. Hashimoto, Y. Hayato, K. G. Hayes, A. Hebecker, B. Heltsley, J. J. Hernández-Rey, K. Hikasa, J. Hisano, A. Höcker, J. Holder, A. Holtkamp, J. Huston, T. Hyodo, K. Irwin & Jackson - unknown
    © 2016 Regents of the University of California.The Review summarizes much of particle physics and cosmology. Using data from previous editions, plus 3,062 new measurements from 721 papers, we list, evaluate, and average measured properties of gauge bosons and the recently discovered Higgs boson, leptons, quarks, mesons, and baryons. We summarize searches for hypothetical particles such as supersymmetric particles, heavy bosons, axions, dark photons, etc. All the particle properties and search limits are listed in Summary Tables. We also give numerous (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
  35. Gentzen-type systems for C, K and several extensions of C and K; constructive completeness proofs and effective decision procedure for these systems.H. C. M. de Swart - 1980 - Logique Et Analyse 90 (91):263-284.
     
    Export citation  
     
    Bookmark   2 citations  
  36. Perspectives on negation: essays in honour of Johan J. de Iongh on his 80th birthday.Johan J. de Iongh, H. C. M. de Swart & L. J. M. Bergman (eds.) - 1995 - Tilburg: Tilburg University Press.
     
    Export citation  
     
    Bookmark  
  37.  41
    Spontaneously Emitted X-rays: An Experimental Signature of the Dynamical Reduction Models.C. Curceanu, S. Bartalucci, A. Bassi, M. Bazzi, S. Bertolucci, C. Berucci, A. M. Bragadireanu, M. Cargnelli, A. Clozza, L. De Paolis, S. Di Matteo, S. Donadi, A. D’Uffizi, J. -P. Egger, C. Guaraldo, M. Iliescu, T. Ishiwatari, M. Laubenstein, J. Marton, E. Milotti, A. Pichler, D. Pietreanu, K. Piscicchia, T. Ponta, E. Sbardella, A. Scordo, H. Shi, D. L. Sirghi, F. Sirghi, L. Sperandio, O. Vazquez Doce & J. Zmeskal - 2016 - Foundations of Physics 46 (3):263-268.
    We present the idea of searching for X-rays as a signature of the mechanism inducing the spontaneous collapse of the wave function. Such a signal is predicted by the continuous spontaneous localization theories, which are solving the “measurement problem” by modifying the Schrödinger equation. We will show some encouraging preliminary results and discuss future plans and strategy.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  38.  6
    Cation self-diffusion in fast neutron-irradiated beryllium oxide.H. J. De Bruin, G. M. Watson, C. M. Blood & D. Roman - 1967 - Philosophical Magazine 16 (140):427-430.
  39. Final report. A qualitative investigation into the use of withdrawal.E. de BenderDusch, M. F. McCann, S. Mayor, E. Hardy, L. C. Santos, M. J. Osis, G. Carvalho, J. G. Cecatti & A. Faundes - 1998 - Journal of Biosocial Science 30 (2):193-225.
    No categories
     
    Export citation  
     
    Bookmark  
  40.  41
    Boekbesprekingen.J. De Fraine, J.-M. Tison, P. Smulders, A. Poncelet, L. Bakker, J. Mulders, J. Vanneste, P. Van Doornik, M. De Wachter, P. De Bruin, A. Houben, P. Grootens, J. Vercruysse, W. Boelens, P. Fransen, E. De Strycker, C. Verhaak, F. De Graeve, H. Van Luijk, M. De Tollenaere, J. Nota, H. Wewerinke, L. Vander Kerken, F. Cuvelier, F. Bossuyt, J. Allary, J. Kerkhofs & J. Wernink - 1964 - Bijdragen 25 (4):421-452.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  41.  39
    Boekbesprekingen.J. De Fraine, P. Fransen, H. Renckens, L. Rood, Al De Bil, P. Smulders, J. Beyer, J. De Munter, C. Sträter, E. Vandenbussche, J. Tesser, J. Van Torre, S. Trooster, H. Somers, P. Huizing, A. van Kol, A. Snoeck, A. van Leeuwen, J. Nota, L. Steins Bisschop, H. Geurtsen, J. Defever, M. De Tollenaere, F. Malmberg, L. Vander Kerken, J. Ellerbeck, M. De Tollenaerf, G. de Leeuw, Th Mulder, W. Couturier, Em Janssen & P. Schoonenberg - 1952 - Bijdragen 13 (3):306-348.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  42.  20
    Boekbesprekingen.J. De Fraine, P. van Doornik, J. -M. Tison, P. Fransen, C. Traets, S. Trooster, J. de Fraine, St Raes, J. Appleyard, J. Kerkhofs, F. Bossuyt, L. Bakker, L. Monden, M. De Tollenaere, A. van Kol, L. Braeckmans, P. Grootens, M. Dierickx, J. Van Torre, J. Vercruysse, W. Boelens, C. Verhaak, J. Kijm, F. Vandenbussche, L. Van Bladel, L. Vander Kerken, Cl Beukers, F. De Graeve, J. Vanneste, H. Hoefnagels & P. Penning de Vries - 1965 - Bijdragen 26 (2):227-256.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  43.  26
    Boekbesprekingen.J. de Gendt, J. -M. Tison, J. de Fraine, R. D'hondt, P. Fransen, S. Trooster, P. van Doornik, L. Bakker, L. Braeckmans, C. Traets, P. Grootens, J. Mulders, J. Van Torre, J. Vercruysse, H. Robbers, C. Sträter, M. de Tollenaere, J. Nota, A. Poncelet, F. Cuvelier, P. den Ottolander, H. Hoefnagels, J. Kerkhofs, J. Vanneste, A. van Kol, F. De Graeve & Cl Beukers - 1966 - Bijdragen 27 (1):134-164.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  44.  33
    Consciousness, coma, and the vegetative state: Physical basis and definitional character.C. M. de Giorgio & M. F. Lew - 1991 - Issues in Law and Medicine 6:361-371.
  45. Gentzen-type systems for C,. K and several extensions of C and K.H. C. M. De Swart - 1980 - Logique Et Analyse 23 (90):263.
     
    Export citation  
     
    Bookmark   1 citation  
  46.  29
    Moral competence, moral teamwork and moral action - the European Moral Case Deliberation Outcomes (Euro-MCD) Instrument 2.0 and its revision process. [REVIEW]J. C. de Snoo-Trimp, H. C. W. de Vet, G. A. M. Widdershoven, A. C. Molewijk & M. Svantesson - 2020 - BMC Medical Ethics 21 (1):1-18.
    BackgroundClinical Ethics Support (CES) services are offered to support healthcare professionals in dealing with ethically difficult situations. Evaluation of CES is important to understand if it is indeed a supportive service in order to inform and improve future implementation of CES. Yet, methods to measure outcomes of CES are scarce. In 2014, the European Moral Case Deliberation Outcomes Instrument (Euro-MCD) was developed to measure outcomes of Moral Case Deliberation (MCD). To further validate the instrument, we tested it in field studies (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  47.  3
    Inleiding tot de symbolische logica.H. C. M. de Swart - 1976 - Assen: Van Gorcum. Edited by H. G. Hubbeling.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  48.  22
    Boekbesprekingen.Th C. de Kruijf, P. Fransen, Frank de Graeve, Ger Groot, F. de Grijs, Frans Vandenbussche, Jan C. M. Engelen, M. Heijndrickx, A. A. Derksen & Frank De Graeve - 1977 - Bijdragen 38 (1):99-111.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  49. Constructive completeness proofs and effective decision procedures for these systems.H. C. M. De Swart - 1980 - Logique Et Analyse 23 (90):263.
     
    Export citation  
     
    Bookmark  
  50.  7
    Logic: Mathematics, Language, Computer Science, and Philosophy.H. C. M. De Swart - 1993 - Peter Lang.
    Depending on what one means by the main connective of logic, the -if..., then... -, several systems of logic result: classic and modal logics, intuitionistic logic or relevance logic. This book presents the underlying ideas, the syntax and the semantics of these logics. Soundness and completeness are shown constructively and in a uniform way. Attention is paid to the interdisciplinary role of logic: its embedding in the foundations of mathematics and its intimate connection with philosophy, in particular the philosophy of (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 1000